<div>[start]</div><div><style>body{font-family:monospace;}</style></div><div>[GUI@1291283776265]: ciao</div><div>[GUI@1291283778906]: exit</div><div>[GUI@1291283780468]: quit</div>